Mechanical theorem proving

[計] 機器證明

?? 詞語組成解析

mechanical [m?'k?n?k?l]
adj. 機械的，機械學的;呆板的;體力的;手工操作的;
mechan(machine)+ical(形容詞后綴)→機械的；呆板的
theorem ['θi?r?m]
n. [數] 定理;（能證明的）一般原理，公理，定律，法則;
theor考慮 + em獲得→考慮后獲得的結果 → n.[數]定理, 法則
proving
[計] 驗證, 證明\\n[醫] 藥力試驗(順勢療法的名詞)

??? 情景例句

That movie received a favorable review.
那部電影受到了好評。
Who is the greatest novelist of our times?
誰是當代最偉大的小說家？
The bottle is empty.
瓶子是空的。
更多情景英語 ›

?? 更多 M 開頭的單詞

全部 M 開頭單詞 ›